Dwelling or duelling in possibilities: how (Ir)relevant are African feminisms?

In its four decades of rebirth, the world has debated (enough) the relevance of feminism, but there is, surprisingly, refreshingly emergent dimensions at the turn of the twenty-first century: feminisms from feminism flowing from Africa. The theories or models of Womanism, Stiwanism, Motherism, and Nego-feminism, with their underlying assumptions and values,were all born at various end times of the twentieth century with a common objective of seeking gender justice. This paper examines the crucial question of how relevant these models are to the global practice of woman as human. What propels their separateness, and why didn‘t they combine to make a more solid stance on the plight of the African woman? In fact, why can‘t they simply identify with the general feminism? Put differently, are they dwelling in the same terrain or are they separable and easily recognisable discourses duelling in possibilities for the woman in Africa in particular and the woman of the globe in general? More specifically, how (ir)relevant are African feminisms?In trying to answer these questions, the paper presents a critical review of the afore-mentioned theories of African feminisms with the goal of providing readers an understanding of what is new in each model, and what is similar or different between the various strands of African feminisms. The paper concludes with the author‘s analysis of the model that holds the best promise or possibilities for African feminism to achieve its seemingly elusive goal of gender equality

Effect of hydrophobic solutes on the liquid-liquid critical point

Jagla ramp particles, interacting through a ramp potential with two characteristic length scales, are known to show in their bulk phase thermodynamic and dynamic anomalies, similar to what is found in water. Jagla particles also exhibit a line of phase transitions separating a low density liquid phase and a high density liquid phase, terminating in a liquid-liquid critical point in a region of the phase diagram that can be studied by simulations. Employing molecular dynamics computer simulations, we study the thermodynamics and the dynamics of solutions of hard spheres (HS) in a solvent formed by Jagla ramp particles. We consider the cases of HS mole fraction x = 0.10, 0.15 and 0.20, and also the case x = 0.50 (a 1:1 mixture of HS and Jagla particles). We find a liquid-liquid critical point, up to the highest HS mole fraction; its position shifts to higher pressures and lower temperatures upon increasing x. We also find that the diffusion coefficient anomalies appear to be preserved for all the mole fractions studied.Comment: 8 pages, 7 figures, 1 table. In press (Phys. Rev. E

Fragile to strong crossover coupled to liquid-liquid transition in hydrophobic solutions

Using discrete molecular dynamics simulations we study the relation between the thermodynamic and diffusive behaviors of a primitive model of aqueous solutions of hydrophobic solutes consisting of hard spheres in the Jagla particles solvent, close to the liquid-liquid critical point of the solvent. We find that the fragile-to-strong dynamic transition in the diffusive behavior is always coupled to the low-density/high-density liquid transition. Above the liquid-liquid critical pressure, the diffusivity crossover occurs at the Widom line, the line along which the thermodynamic response functions show maxima. Below the liquid-liquid critical pressure, the diffusivity crossover occurs when the limit of mechanical stability lines are crossed, as indicated by the hysteresis observed when going from high to low temperature and vice versa. These findings show that the strong connection between dynamics and thermodynamics found in bulk water persists in hydrophobic solutions for concentrations from low to moderate, indicating that experiments measuring the relaxation time in aqueous solutions represent a viable route for solving the open questions in the field of supercooled water.Comment: 6 pages, 4 figures. Accepted for publication on Physical Review

On the definition of parallel independence in the algebraic approaches to graph transformation

Parallel independence between transformation steps is a basic and well-understood notion of the algebraic approaches to graph transformation, and typically guarantees that the two steps can be applied in any order obtaining the same resulting graph, up to isomorphism. The concept has been redefined for several algebraic approaches as variations of a classical “algebraic” condition, requiring that each matching morphism factorizes through the context graphs of the other transformation step. However, looking at some classical papers on the double-pushout approach, one finds that the original definition of parallel independence was formulated in set-theoretical terms, requiring that the intersection of the images of the two left-hand sides in the host graph is contained in the intersection of the two interface graphs. The relationship between this definition and the standard algebraic one is discussed in this position paper, both in the case of left-linear and non-left-linear rules

Two Algebraic Process Semantics for Contextual Nets

We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places. The algebraic characterizations of net concurrent computations we provide cover both the collective and the individual token philosophy, uniformly along the two interpretations, and coincide with the classical proposals for place/transition Petri nets in the absence of read-arcs

Graphical Encoding of a Spatial Logic for the pi-Calculus

This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula

A dynamic assessment of instrument interaction and timing alternatives in the EU low-carbon policy mix design

The European Union low-carbon strategy includes a range of complementary policies. Potential interactions between instruments and different timing of their implementation can influence the cost and likelihood of achieving the targets. We test the interactions between the three main pillars of the European Union strategy through a dynamic Computable General Equilibrium model (GDynEP) with a time horizon of 2050. Main results are: i) going for the unilateral European Union carbon mitigation target without any complementary technological policy will produce large economic losses; ii) by investing in clean energy technologies (energy efficiency and renewable energy) with a carbon tax revenue recycling mechanism, these losses will decrease substantially; iii) when complementary clean energy technology policies are implemented, the optimal timing of binding targets changes; iv) the higher the public support to clean energy technologies, the larger the economic gains in early adoption of challenging abatement targets. © 2018 Elsevier LtdWe acknowledge financial support received by the EU D.G. Research (research project “CECILIA2050 — Choosing efficient combinations of policy instruments for low-carbon development and innovation to achieve Europ